Issue3420-Identity.agda:5,6-9
Set a is not less or equal than Set
when checking the definition of _≡_
